"Oded Maler" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Aided Verification, 21 conf., CAV 2009

Ahmed Bouajjani, Oded Maler

Категория: CsLn_

13.29 Mb

#2

Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Oded Maler

3.80 Mb

#3

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk, Oded Maler, Amir Pnueli

9.00 Mb